61. Logical Methods
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
Classification :
E-Book
,
62. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
63. Logics in Artificial Intelligence :
Author: edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
1994
64. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
65. Logics of Programs :
Author: edited by Dexter Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
66. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
67. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975
68. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
69. Mathematical Methods in Program Development
Author: edited by Manfred Broy, Birgit Schieder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1997
70. Memory Management :
Author: edited by Henry G. Baler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Memory management (Computer science)
71. Model Checking Software :
Author: edited by Ezio Bartocci, C.R. Ramakrishnan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
72. Modelling Computing Systems :
Author: by Faron Moller, Georg Struth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
Classification :
QA76
.
63
73. Modelling distributed systems
Author: Wan Fokkink
Library: Library of Institute For Color Science and Technology (Tehran)
Subject: Algebra Data processing,Computer science,Logic design
74. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
75. Multi-Threaded Programming in C++
Author: by Mark Walmsley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer system performance.,Logic design.
Classification :
QA76
.
73
.
C153
B963
2000
76. Multiagent System Technologies
Author: edited by Franziska Klügl, Sascha Ossowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
77. OpenSHMEM and Related Technologies
Author: \ Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,کامپیوتر,طراحی منطقی,a03,a04,a03,a04
Classification :
E-Book
,
78. PROLOG for Computer Science
Author: by M.S. Dawe, C.M. Dawe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
73
.
P76
B967
1994
79. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
80. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
